Section: Dissemination

Teaching - Supervision - Juries

• Summer School:

  Fabrice Bouquet, Test techniques and validation for Software, ENVOL 2014, Organized by: CNRS, INRA, VetAgro-Sup and Inria, November 18-21, 2014 (https://www.projet-plume.org/envol-2014 )

  Steve Kremer, Formal Modeling and Automated Analysis of Security Protocols, 14th International School on Foundations of Security Analysis and Design (FOSAD'14)

• Master:

  Fabrice Bouquet, Functional Testing, 18 hours, M2 Computer science, Franche-Comté University, France.

  Fabrice Bouquet, Artificial Intelligence, 42 hours, M1 Computer science, Franche-Comté University, France.

  Frédéric Dadeau, Structural testing, 9 hours (ETD), M2 Computer science, Franche-Comté University, France.

  Alain Giorgetti, Program Proofs, 58 hours, M1 Computer science, Franche-Comté University, France.

  Alain Giorgetti, Decision Procedures, 13 hours, M2 Computer science, Franche-Comté University, France.

  Olga Kouchnarenko, Specification, Verification and Validation, 12 hours (ETD), M2 Computer science, Franche-Comté University, France.

  Olga Kouchnarenko, Security and Components, 10,5 hours (ETD), M2 Computer science, Franche-Comté University, France.

  Steve Kremer, Security Theory, 24 hours (ETD), M2 Computer science, Lorraine University, France.

  Abdessamad Imine, Security for XML Documents, 12 hours (ETD), M1, Lorraine University, France.

  Christophe Ringeissen, Decision Procedures for Software Verification, 24 hours (ETD), M2 Computer science, Lorraine University, France.

  Laurent Vigneron, Security of information systems, 22.5 hours (ETD), M2 Computer science, Lorraine University, France.

  Laurent Vigneron, Security of information systems, 24 hours (ETD), M2 MIAGE – Distributed Information Systems, Lorraine University, France.

• Licence:

  Alain Giorgetti, Logics and Deduction, 52 hours, L2 Computer science, Franche-Comté University, France.

  Olga Kouchnarenko, Formal Languages, 65 hours (ETD), L3 Computer science, Franche-Comté University, France.

• E-Learning:

  Fabrice Bouquet, Artificial Intelligence, 78 (ETD), M1 Computer science, Franche-Comté University, France.

  Fabrice Bouquet, Specification Validation and Test, 39 (ETD), M2 Computer science, Franche-Comté University, France.

  Alain Giorgetti, Formal Methods, 81 hours, L3 computer science, Franche-Comté University, France.

  Olga Kouchnarenko, Languages, Specification and Proof, 25 hours (ETD), L3 Computer science, Franche-Comté University, France.

  Olga Kouchnarenko, Compositional approaches in verification, 18 hours (ETD), M2 Computer science, Franche-Comté University, France.

• PhD (defended in 2014):

  Robert Künnemann, Verification of Security APIs, January 7, Steve Kremer and Graham Steel

  Houari Mahfoud, Access Control Models for XML Documents, February 18, Abdessamad Imine and Michaël Rusinowitch

  Cyrille Wiedling, Formal analysis of E-voting protocols, November 21, Véronique Cortier

  Ivan Enderlin, Test Data Generation for Unit Testing in PHP, July 16, Fabrice Bouquet, Frédéric Dadeau and Alain Giorgetti

  Aloïs Dreyfus, Contribution to the efficient model-based verification and testing, October 22, Pierre-Cyrille Héam and Olga Kouchnarenko

  Bin Yang, Contribution to a kernel of a symbolic asymptotic modeling software, December 16, Michel Lenczner and Alain Giorgetti

• PhD in progress:

  Hadrien Bride, Validation and Reconfiguration of Modal Petri Nets within Constraint Logic Programming, started in October 2013, Olga Kouchnarenko and Fabien Peureux

  Maxime Bride, Automated Synthesis and Verification of Security Services, started in October 2014, Michaël Rusinowitch

  Rémy Chrétien, Decision procedures of equivalence properties, started in October 2012, Véronique Cortier and Stéphanie Delaune

  Jean-Marie Gauthier, Method for validation and simulation of SysML model: Applied on micro-systems, started in October 2012, Fabrice Bouquet, Fabien Peureux and Ahmed Hammad

  Richard Genestier, Formal specification and verification of programs generating structured data, started in October 2012, Alain Giorgetti and Olga Kouchnarenko

  Bao Thien Hoang, Secure Collaboration in Social Networks, started in April 2011, Abdessamad Imine and Christophe Ringeissen

  Jean-Luc Joly, Randomized approaches for validation and verification procedures, started in December 2011, Pierre-Cyrille Héam

  Éric Le Morvan, Secure composition of cryptographic protocols, started in October 2013, Véronique Cortier

  Huu Hiep Nguyen, Secure Collaboration in Mobile Social Networks, started in November 2013, Abdessamad Imine and Michaël Rusinowitch

  Ludovic Robin, Verification of cryptographic protocols using weak secrets, started in October 2014, Steve Kremer

  Guillaume Scerri, Symbolic and automatic security proofs in computational models, started in September 2011, Hubert Comon-Lundh and Véronique Cortier